overviewControls: Factor in margin-bottom for dash startup animation

We set a margin-bottom on the dash to give it some margin towards the
monitor edge, we need to factor in this margin when moving it outside of
the monitor for our animation.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2191>

diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js
index 2344ad8eb085097631d51c7e31ba3575ede98c4f..d3df21ea0722df12797f5c4a2bfd819b265e44b2 100644 (file)
--- a/js/ui/overviewControls.js
+++ b/js/ui/overviewControls.js
@@ -842,7 +842,7 @@ class ControlsManager extends St.Widget {
 
         // The Dash rises from the bottom. This is the last animation to finish,
         // so run the callback there.
-        this.dash.translation_y = this.dash.height;
+        this.dash.translation_y = this.dash.height + this.dash.margin_bottom;
         this.dash.ease({
             translation_y: 0,
             delay: STARTUP_ANIMATION_TIME,